1. Logic for Programming, Artificial Intelligence, and Reasoning
Author: \ Martin Davis, ... [et al.] (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer logic -- Congresses,Computer science,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر
Classification :
QA
75
.
5
.
L66
2015
E-Book
,
